Perspectives Spring[removed]Volume 16, No. 2 STEPHEN SHORE PRESENTS WORKSHOP ON TRANSITION TO ADULTHOOD On May 2, autism expert

Source URL: www.howard-autism.org

• Psychiatry
• Autism Society of America
• Sociological and cultural aspects of autism
• Temple Grandin
• Autism Speaks
• The Daniel Jordan Fiddle Foundation
• Health
• Abnormal psychology
• Autism

A Framework for Interactive Proof David Aspinall1 , Christoph L¨ uth2 , and Daniel Winterstein1 1 2

Source URL: proofgeneral.inf.ed.ac.uk

• Cryptographic protocols
• Computational complexity theory
• Interactive proof system
• Proof assistant
• Coq
• IP
• Isabelle
• ACL2
• Emacs
• Software
• Theoretical computer science
• Automated theorem proving

Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein1 , David Aspinall1 , and Christoph L¨ uth2 2

Source URL: proofgeneral.inf.ed.ac.uk

• Proof assistant
• Functional languages
• Isabelle
• Theorem prover
• Emacs
• Interactive proof system
• Coq
• KeY
• Mathematical proof
• Software
• Theoretical computer science
• Automated theorem proving

Uncertainty can increase explanatory credibility Sangeet Khemlani1, Daniel Gartenberg2, Kun Hee Park2, and J. Gregory Trafton1 1 US Naval Research Laboratory, Washington, DC[removed]USA 2

Source URL: mentalmodels.princeton.edu

• Behavioural sciences
• Measurement
• Cognitive science
• Cognitive psychology
• Memory
• Overconfidence effect
• Social psychology
• Psychology
• Explanation
• Science
• Mind
• Ethology

A Group Memory System for Corporate Knowledge Management: An Ontological Approach José Vasconcelos1, 2, Chris Kimble1, Feliz Gouveia2, Daniel Kudenko1 (1) Department of Computer Science University of York York, YO1 5DD,

Source URL: www.chris-kimble.com

• Knowledge
• Information science
• Technical communication
• Semantic Web
• Knowledge representation
• Upper ontology
• Knowledge management
• Cyc
• Body of Knowledge
• Science
• Information
• Ontology

The Innovation Journal: The Public Sector Innovation Journal, Volume 16(2), 2011, article 13. Book Review Karen Brown & Daniel Gilfoyle, eds. Healing the Herds: Disease, Livestock Economies, and the Globalization of Vet

Source URL: www.innovation.cc

• Land management
• Food politics
• Livestock
• Food
• Veterinary physician
• Factory farming
• Veterinary medicine
• William Albrecht
• Cattle feeding
• Agriculture
• Food and drink
• Meat industry

東南極リュツォ・ホルム岩体に産出するincipient charnockiteの相平衡解析 角替敏昭1、Daniel J. Dunkley2, 宮本知治3、加藤睦実4 1 筑波大学 2 Curtin University

Source URL: www.nipr.ac.jp

• Japanese pottery
• Karatsu ware
• Takahashi River
• Anime
• Japan
• Shōnen manga

December 2, 2011 The Honorable Daniel Inouye Chairman Committee on Appropriations United States Senate

Source URL: www.algaebiomass.org

• Energy
• Dianne Feinstein
• Daniel Inouye
• Thad Cochran
• Biofuels
• Algae fuel
• United States biofuel policies
• Biofuels Center of North Carolina
• Sustainability
• Fuels
• Environment

[removed]M muži[removed],2005 Rozplavba 1 1, Polanský Dominik PKPí 2, Šedivý Jakub SlPl 3, Čermák Daniel

Source URL: www.jiskradomazlice.cz

WG 2 Ronald van der Linden (ROB Brussels, BE), Henrik Lundstedt (IRF Lund, SE) WG 2 lead Space weather products and services Daniel Heynderickx (DH Consultancy, BE), Rami Vainio (U Helsinki, FI) SG 2.1

Source URL: www.costes0803.noa.gr

• Space science
• Space weather
• Weather
• Planetary science
• Solar System